package dpll.ast;

public abstract class ASTNode implements IASTNode {


}
